Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·1d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·18h
22.00.0177 Backups aren't enough: create 'restore points'
johnnydecimal.com·15h
CodeSOD: Validation Trimmed Away
thedailywtf.com·1d
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
Saving The Elfeed Database
irreal.org·14h
Values of the world, unite!
jemarch.net·1d
Software Heritage Archive recognized as a digital public good
softwareheritage.org·21h
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·15h
Loading...Loading more...